Operations on a Wadge-Type Hierarchy of Ordinal-Valued Functions
نویسنده
چکیده
In this thesis we investigate – under the assumption of the Axiom of Determinacy (AD) – the structure of the hierarchy of regular norms, a Wadge-type hierarchy of ordinal-valued functions that originally arose from Moschovakis’s proof of the First Periodicity Theorem in descriptive set theory. We introduce the notion of a very strong better quasi-order that will provide a framework to treat the hierarchy of regular norms and the well-known Wadge hierarchy uniformly. From this we can establish classical results for both hierarchies with uniform proofs. Among these are the Martin-Monk and the Steel-Van Wesep Theorem. After that we define operations on the hierarchy of regular norms which are used to show closure properties of this hierarchy. Using these closure properties, we can significantly improve the best formerly known lower bound for the order type of the hierarchy of regular norms.
منابع مشابه
Wadge Hierarchy and Veblen Hierarchy. Part Ii: Borel Sets of Innnite Rank
We consider Borel sets of the form A ! (with usual topology) where cardinality of is less than some uncountable regular cardinal. We obtain a \normal form" of A, by nding a Borel set () such that A and () continuously reduce to each other. We do so by deening Borel operations which are homomorphic to the rst Veblen ordinal functions of base required to compute the Wadge degree of the set A: the...
متن کاملOn the Structure of the Wadge Degrees of Bqo-valued Borel Functions
In this article, we give a full description of the Wadge degrees of Borel functions from ω to a better quasi ordering Q. More precisely, for any countable ordinal ξ, we show that the Wadge degrees of ∆1+ξ-measurable functions ω ω → Q can be represented by countable joins of the ξ-th transfinite nests ofQ-labeled well-founded trees.
متن کاملWadge Hierarchy and Veblen Hierarchy Part I: Borel Sets of Finite Rank
We consider Borel sets of finite rank A C A'" where cardinality of A is less than some uncountable regular cardinal K5. We obtain a "normal form" of A, by finding a Borel set Q, such that A and Q continuously reduce to each other. In more technical terms: we define simple Borel operations which are homomorphic to ordinal sum. to multiplication by a countable ordinal, and to ordinal exponentiati...
متن کاملJ an 2 00 8 On the length of the Wadge hierarchy of ω - context free languages ∗
We prove in this paper that the length of the Wadge hierarchy of ω-context free languages is greater than the Cantor ordinal εω, which is the ω th fixed point of the ordinal exponentiation of base ω. We show also that there exist some Σ0ω-complete ω-context free languages, improving previous results on ω-context free languages and the Borel hierarchy.
متن کاملWadge hierarchy of omega context-free languages
The main result of this paper is that the length of the Wadge hierarchy of omega context-free languages is greater than the Cantor ordinal 0, and the same result holds for the conciliating Wadge hierarchy, de1ned by Duparc (J. Symbolic Logic, to appear), of in1nitary context-free languages, studied by Beauquier (Ph.D. Thesis, Universit9 e Paris 7, 1984). In the course of our proof, we get resul...
متن کامل